2. Automata, languages and programming :
Author: edited by G. Ausiello and C. Böhm.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
3. Automata, languages, and programming :
Author: edited by J.W. de Bakker and J. van Leeuwen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
4. Computability and decidability; an introduction for students of computer science
پدیدآورنده : Loeckx, Jacques
موضوع : ، Sequential machine theory,، Turing machines
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Coping with Complexity :
Author: by Hans W. Gottinger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Social sciences -- Methodology.,Social sciences.
6. Logical foundations of computer science :
Author: eds.: Anil Nerode ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
7. Mathematical Foundations of Computer Science 1976 :
Author: edited by Antoni Mazurkiewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer Science.,Computers.
Classification :
QA267
.
3
E358
1976
8. The Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
Classification :
QA76
.
D45
1989
9. The (new) Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
Classification :
QA76
.
D448
1993
